Philip S. Mulry. "Categorical fixed point semantics"